10 results
J. Stillwell, Reverse Mathematics: Proofs from the Inside Out, Princeton University Press, Princeton, 2018, xiii + 182 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 176-177
- Print publication:
- June 2018
-
- Article
- Export citation
COMPARING THE STRENGTH OF DIAGONALLY NONRECURSIVE FUNCTIONS IN THE ABSENCE OF ${\rm{\Sigma }}_2^0$ INDUCTION
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 22 December 2015, pp. 1211-1235
- Print publication:
- December 2015
-
- Article
- Export citation
Denis R. Hirschfeldt. Slicing the truth: On the computable and reverse mathematics of combinatorial principles. Lecture Note Series, Institute for Mathematical Sciences, National University of Singapore, vol. 28. World Scientific Publishing Co. Pte. Ltd., Singapore, 2015, xiv+214 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 15 September 2015, pp. 338-339
- Print publication:
- September 2015
-
- Article
- Export citation
Reverse mathematics, computability, and partitions of trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-215
- Print publication:
- March 2009
-
- Article
- Export citation
A survey of the reversemathematics of ordinal arithmetic
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 222-234
-
- Chapter
- Export citation
Free sets and reversemathematics
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 104-119
-
- Chapter
- Export citation
Reversemathematics and ordinal suprema
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 235-243
-
- Chapter
- Export citation
A note on compactness of countable sets
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 219-221
-
- Chapter
- Export citation
Hindman's theorem, ultrafilters, and reverse mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-72
- Print publication:
- March 2004
-
- Article
- Export citation
Ordinal inequalities, transfinite induction, and reverse mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 769-774
- Print publication:
- June 1999
-
- Article
- Export citation